The Spec-head vs head-Spec Asymmetry: Post-syntactic linearization and the embedded-topicalization paradox

Economy, Innovation, and Prescriptivism: From Spec to Head and Head to Head*

This paper decribes cyclical changes in negative and wh-constructions as a change from Spec(ifier) to Head. It accounts for this change through an economy principle that says ‘if possible, be a head’. The changes examined all show a tendency towards heads and headchecking but execute this in slightly different ways. In addition, innovations introduce new specifiers, and prescriptive rules retai...

Overview of the SPEC Benchmarks

" The reputation of current benchmarketing claims regarding system performance is on par with the promises made by politicians during elections. " in cooperation with E. E. Times. SPEC is a nonprofit consortium of 22 major computer vendors whose common goals are " to provide the industry with a realistic yardstick to measure the performance of advanced computer systems " and to educate consumer...

Spec Cpu2006

On August 24, 2006, the Standard Performance Evaluation Corporation (SPEC) announced CPU2006 [2], which replaces CPU2000. The SPEC CPU benchmarks are widely used in both industry and academia [3]. The new suite is much larger than the previous, and will exercise new corners of CPUs, memory systems, and compilers – especially C++ compilers. Where CPU2000 had only 1 benchmark in C++, the new suit...

The Spec# Programming System: Challenges and Directions

The Spec# programming system [2] is a new attempt to increase the quality of general purpose, industrial software. Using old wisdom, we propose the use of specifications to make programmer assumptions explicit. Using modern technology, we propose the use of tools to enforce the specifications. To increase its chances of having impact, we want to design the system so that it can be widely adopte...

Clostridium sticklandii nov. spec.